Самая большая электронная библиотека рунета. Поиск книг и журналов
↓

Interactive Theorem Proving - ITP 2011

Автор: , Автор: , Автор: , Автор:
Размер книги: 3.65 Mb